#pruebas de invariantes